Linear Function SAT